- functional correctness
- функціональна коректність
English-Ukrainian dictionary of microelectronics. 2013.
functional correctness
Смотреть что такое "functional correctness" в других словарях:
Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… … Wikipedia
Functional illiteracy — refers to the inability of an individual to use reading, writing, and computational skills efficiently in everyday life situations. Illiteracy is the inability to read or write simple sentences in any language.CharacteristicsWhen illiterate, one… … Wikipedia
Overclocking — For other uses, see Overclocked. AMD Athlon XP overclocking BIOS setup on ABIT NF7 S. Front side bus frequency (external clock) has increased from 133 MHz to 148 MHz, and the clock multiplier factor has changed from 13.5 to 16.5… … Wikipedia
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Dynamic systems development method — Model of the DSDM Atern project management method … Wikipedia
Database — A database is an organized collection of data for one or more purposes, usually in digital form. The data are typically organized to model relevant aspects of reality (for example, the availability of rooms in hotels), in a way that supports… … Wikipedia
PCOLA-SOQ — [1] is a method to gauge the effectiveness of testing a printed circuit board assembly (PCBA) in manufacturing to ensure the PCBA is devoid of manufacturing defects. Contents 1 PCBA Manufacturing Defect 2 PCBA Manufacturing Defect Universe … Wikipedia
Western architecture — Introduction history of Western architecture from prehistoric Mediterranean cultures to the present. The history of Western architecture is marked by a series of new solutions to structural problems. During the period from the… … Universalium
Dynamic Systems Development Method — (DSDM) is a software development approach originally based upon the Rapid Application Development (RAD) methodology. DSDM is an iterative and incremental approach that emphasizes continuous user involvement. Its goal is to deliver software… … Wikipedia
computer science — computer scientist. the science that deals with the theory and methods of processing information in digital computers, the design of computer hardware and software, and the applications of computers. [1970 75] * * * Study of computers, their… … Universalium
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
